Visibility guarantees of atomic variables